$\forall$${\it ds}$:$x$:Id fp$\rightarrow$ Type, ${\it da}$:$k$:Knd fp$\rightarrow$ Type. event{-}info(${\it ds}$;${\it da}$) $\in$ Type